Twelfth OOPSLA Workshop on Behavioral Semantics

Proceedings of the Eleventh Workshop on Behavioral Semantics

This workshop has been canceled

We regret to inform you that this workshop has been canceled. There were not enough participants who were willing to travel to California. Many thanks to all the participants over the last 11 years. We will post notices about any future venues.

The series has been a tremendous success. Three books have been published as well as 11 first-rate workshop proceedings. The most recent book is "Practical foundations of business system specifications" which has just been published by Kluwer Academic Publishers. For ordering information please contact Hans Blom .

References

  1. H.Kilov and W.Harvey (Eds.). Object-oriented behavioral specifications. Kluwer Academic Publishers, 1996.
  2. H.Kilov, B.Rumpe, I.Simmonds (Eds.). Behavioral specifications of businesses and systems. Kluwer Academic Publishers, 1999.
  3. H.Kilov, K.Baclawski (Eds.). Practical Foundations of Business and System Specifications, Kluwer Academic Publishers, 2003.